Semantics of input-consuming programs