Pragmas utilities