added time() builtin