HALOT	Enhanced BDB	Concise HAL