char mod9_data;
void
mod9_function (void (*f) (void))
{
/* Make sure this is not a tail call and unwind information is
therefore needed. */
f ();
}