module 0x8675309::M { fun int8(): u8 { 1u8 } fun int64(): u64 { 2 + 3u64 } fun int128(): u128 { 4u128 } }