for debugging and program introspection.
These were erronously copied years ago into the ARM directory.