added a test to check that C prog with infinite loop times out