error(permission_error(input, text_stream), '$stream'(0))