New: kr-simulator