First steps in semantic separation of in- and output