(module (func (i32.const 0x100000000)))