function d_of_w_from_date extends icons.specifics.icon_f_of_date; input Integer d_of_m; input Integer m_of_y; input Integer y; output Integer d_of_w; end d_of_w_from_date;