A Java bytecode manipulation library written in C