val leap_year: int -> bool