sclass InputChooser { S input; S freshInput() { ret dm_getInterestingString(); } void update() { S s = freshInput(); if (neq(input, s)) { input = s; dm_updateModule(); } } }