user defined pragmas work for generics instantiated in different modules