Module Batteries.Legacy.Int32


module Int32: Int32