Not ok without seeing how you're using this. Why would you be wanting to record time and size info? In practice they only seem to lead to debug miscomparisons and don't help the debugger. r~