1666 static void p1p1_to_p3(ge25519_p3 *r, const ge25519_p1p1 *p)  in p1p1_to_p3()  function
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()
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()
1887       p1p1_to_p3(r, &tp1p1);  in ge25519_double_scalarmult_vartime()
1891     else p1p1_to_p3(r, &tp1p1);  in ge25519_double_scalarmult_vartime()