function inc_d_of_w extends icons.specifics.icon_f_of_date; input Integer d_of_w_i; output Integer d_of_w_o; end inc_d_of_w;