function valid_date extends icons.specifics.icon_f_of_date; input Integer d_of_m; input Integer m_of_y; input Integer y; output Boolean valid_date; end valid_date;