See Pragma System in practice