HLT tested (closes #28)