pragma and dogma