* sim-main.h: #include symcat.h.