A couple more instrumentation tests.

Test instrumentation from C-language programs.

These tests currently fail: we are missing instrumentation of return events.