Busy Time and Idle Time - Hoare, C (2015)