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