function d_of_w_from_jdate extends icons.specifics.icon_f_of_date; input Integer d_of_y; input Integer y; output Integer d_of_w; end d_of_w_from_jdate;