front-end: Surround paulscode-specific code with PAULSCODE symbol.

For easy identification.