# test the new time module

import
  times

write(stdout, $getTime())