1854   ge25519_p3 pre[16];  in ge25519_double_scalarmult_vartime()  local
1859   setneutral(pre);                                                      /* 00 00 */  in ge25519_double_scalarmult_vartime()
1860   pre[1] = *p1;                                                         /* 00 01 */  in ge25519_double_scalarmult_vartime()
1861   dbl_p1p1(&tp1p1,(ge25519_p2 *)p1);      p1p1_to_p3( &pre[2], &tp1p1); /* 00 10 */  in ge25519_double_scalarmult_vartime()
1862   add_p1p1(&tp1p1,&pre[1], &pre[2]);      p1p1_to_p3( &pre[3], &tp1p1); /* 00 11 */  in ge25519_double_scalarmult_vartime()
1863   pre[4] = *p2;                                                         /* 01 00 */  in ge25519_double_scalarmult_vartime()
1864   add_p1p1(&tp1p1,&pre[1], &pre[4]);      p1p1_to_p3( &pre[5], &tp1p1); /* 01 01 */  in ge25519_double_scalarmult_vartime()
1865   add_p1p1(&tp1p1,&pre[2], &pre[4]);      p1p1_to_p3( &pre[6], &tp1p1); /* 01 10 */  in ge25519_double_scalarmult_vartime()
1866   add_p1p1(&tp1p1,&pre[3], &pre[4]);      p1p1_to_p3( &pre[7], &tp1p1); /* 01 11 */  in ge25519_double_scalarmult_vartime()
1867   dbl_p1p1(&tp1p1,(ge25519_p2 *)p2);      p1p1_to_p3( &pre[8], &tp1p1); /* 10 00 */  in ge25519_double_scalarmult_vartime()
1868   add_p1p1(&tp1p1,&pre[1], &pre[8]);      p1p1_to_p3( &pre[9], &tp1p1); /* 10 01 */  in ge25519_double_scalarmult_vartime()
1869   dbl_p1p1(&tp1p1,(ge25519_p2 *)&pre[5]); p1p1_to_p3(&pre[10], &tp1p1); /* 10 10 */  in ge25519_double_scalarmult_vartime()
1870   add_p1p1(&tp1p1,&pre[3], &pre[8]);      p1p1_to_p3(&pre[11], &tp1p1); /* 10 11 */  in ge25519_double_scalarmult_vartime()
1871   add_p1p1(&tp1p1,&pre[4], &pre[8]);      p1p1_to_p3(&pre[12], &tp1p1); /* 11 00 */  in ge25519_double_scalarmult_vartime()
1872   add_p1p1(&tp1p1,&pre[1],&pre[12]);      p1p1_to_p3(&pre[13], &tp1p1); /* 11 01 */  in ge25519_double_scalarmult_vartime()
1873   add_p1p1(&tp1p1,&pre[2],&pre[12]);      p1p1_to_p3(&pre[14], &tp1p1); /* 11 10 */  in ge25519_double_scalarmult_vartime()
1874   add_p1p1(&tp1p1,&pre[3],&pre[12]);      p1p1_to_p3(&pre[15], &tp1p1); /* 11 11 */  in ge25519_double_scalarmult_vartime()
1879   *r = pre[b[126]];  in ge25519_double_scalarmult_vartime()
1888       add_p1p1(&tp1p1, r, &pre[b[i]]);  in ge25519_double_scalarmult_vartime()