Life Vest (Extended Version)

Life Vest (Extended Version)