Function Hacl_P256_compression_not_compressed_form 

pub unsafe extern "C" fn Hacl_P256_compression_not_compressed_form(
    b: *mut u8,
    result: *mut u8,
)