[Oberon] clock_gettime