function leap_y extends icons.specifics.icon_f_of_date; input Integer y; output Boolean leap_y; end leap_y;