svoid optOutParam(O[] params, S name, O value) {
  for (int i = 0; i+1 < l(params); i += 2)
    if (eq(params[i], name))
      setIVar((IVar) params[i+1], value);
}