HLL spec