Zachary Tatlock / cse-341-autumn-2022