df_to_time 1203 ext/date/date_core.c df_to_time(r, &x->c.hour, &x->c.min, &x->c.sec); df_to_time 1212 ext/date/date_core.c df_to_time(r, &h, &min, &s);