Things to do:

1. Fix cuexit.a68 to do the right thing.
