double_jacobian_default = 0x7853;
tc_sha256_final = 0x8ecd;
tc_sha256_init = 0x8e1d;
tc_sha256_update = 0x8e75;
tz_rom_init = 0x5839;
uECC_verify = 0x865d;
vli_mmod_fast_secp256r1 = 0x74a5;
x_side_default = 0x79a5;