Add function attributes.
Rename mkInvoke to lowerInvoke.