Update p11_ec.c