svoid dm_setFieldAndPrintIfChanged(S field, O value) {
  if (dm_current_mandatory().setField(field, value))
    print(field + " = " + value);
}