sclass InputChooser { transient S input; S input() { ret input; } S _freshInput() { ret dm_getInterestingString(); } bool update() { S s = _freshInput(); if (neq(input, s)) { input = s; true; //dm_updateModule(); } false; } }