finished definition of pragmas