C implementation of a bytecode verifier for the JVM