[PATCH] time: basic utility for getting the system time