Lobsters: Comparing Obelisk with DBOS