%measure-dotimes: Make it portable.