function e = errcheck(error_prefix)
  e = 1;
  if (index(__error_text__, error_prefix) != 1)
    e = 0;
    printf("\nUNEXPECTED ERROR: %s", __error_text__);
  endif
end
