Higher level abstractions are translated

• Most of the IPC path, thread wait functions
• 1 to 1 correspondence (sort of)
  • single-entry/single-exit
  • local variables
• Requires minimal understanding of code
• About 60% of the code
• All the core IPC functionality