Runtime verification for C code via a GCC plugin architecture.