(module (func (i64.const 0x10000000000000000)))