use DEFSYM, to handle staticpro