Fix print_() and add time_ticked()