Use fixed width constant names
Factory options for PragmaManager (issue #14)