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