Failing state: transmute called on types with different sizes: u64 (64 bits) to OType