use [PPragma]