add testing macro substitution in pragma aux