thoughts on HAL format