Sanity testing argument symbols, consistently naming symbol things