@ndonald2 Zev and I just came to that same conclusion (always typedef)