The noop rewrite would put x=4 in the arguments.