added test 11 for HALT