svoid messageBoxAndFail(S msg) {
  messageBox(msg);
  fail(msg);
}