vuln proof: VULN_RPC_SETCLOCK_VARIANT_EXECUTED
fixed no proof file (negative control passed)