Adding execution time measurement facility