Symbol: evmcs_sanitize_exec_ctrls