Module Batteries.Legacy.Int64

module Int64: Int64