Where did we land on the `typedef`?