+++ for core.time