/support/splint/examples/symbols/