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