Lobsters: Exploring Mojo’s raw pointer type