added timestamp printing to std lib