David makes the rule header become a global shared variable