I'm working on a port that has benefited immensely from the ability to specialize the way the function calls in *_dummy() are emitted. Maybe this could help someone else... Ok to install?