A ASM tool for TLC.