# The number of seconds elapsed since January 1, 1970
#
# Uses the Unix function `time`.
fun get_time: Int `{ return time(NULL); `}