Carmen-Cumtrol: short HJ-compilation