Added exports for pup/push-guard-id!
Updated with annotations for control-flow split