Function Hacl_AES128_aes128_encrypt_block 

pub unsafe extern "C" fn Hacl_AES128_aes128_encrypt_block(
    cipher: *mut u16,
    plain: *mut u16,
    expanded_key: *mut u8,
)