full version tracing test, with new lintpragma