Tests for the PDP-10 port of GCC