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