Add 'unreachable' instruction after calling a C function that doesn't return