Input-output rewritten