[HL] trace generation