current_Time     2535 src/term.c       *timeptr = current_Time ();
current_Time     2557 src/term.c       result->timestamp = current_Time ();