module Pragma