HARDCORE TANO*C