Lobsters: Manual Memory Management