Do they really use MUMPS? Not something like ObjectScript?