Function syscall_uint256_mulmod 

pub unsafe extern "C" fn syscall_uint256_mulmod(
    x: *mut [u64; 4],
    y: *const [u64; 4],
)

Executes an uint256 multiplication on the given inputs.