Github issue #98: eliminate misuse of C reserved name: t+