RCE proof executed