Function u64 

pub fn u64(_a1: &Instance) -> Result<Instance, Error>

u64() constructor (naga extension).

TODO: This built-in is not implemented!