xv65: c runtime: time