hal

HAL, in some names, signifies hall.