Lobsters: Static Allocation with Zig