let stamp_of_rule r = r.stamp