static int constantPoolSize(Class c) {
  ret classToBCEL(c).getConstantPool().getLength();
}