Node types:

#call

#declare

#shuffle

Nodes for control flow:

#call-recursive

#enter-recursive

#recursive

#return-recursive

#terminate

Nodes for alien ffi:

#alien-node

#alien-invoke

#alien-indirect

#alien-assembly

#alien-callback

Nodes for branching:

#dispatch

#if

#phi