test.hal