GitLab

We put an abort() at this point in the code, because
if the previous commit is correct, the program will
never comme here.