public static Object BGL_OBJECT_WIDENING_SET( bobject o, Object v ) { o.widening= v; return unspecified._unspecified; }
public static Object BGL_OBJECT_CLASS_NUM_SET( bobject o, int n ) { o.header= n; return unspecified._unspecified; }
public static Object BGL_OBJECT_WIDENING( bobject o ) { return o.widening; }
public static int BGL_OBJECT_CLASS_NUM( bobject o ) { return o.header; }