defined get_current_time() defined