Generalize API of ##get-current-time!
Add ##get-bytes-allocated!