(module (func $add (result i64) i64.const +9223372036854775807 ) )