there’s also gnu `time` thats more full featured a...