Added test for Hal