Module Batteries.Legacy.Int32

module Int32: Int32