+double get_class_estimated_n_upcasts(type *clss);
+double get_class_estimated_n_downcasts(type *clss);
+/** Returns the number of accesses to the dispatch table.
+ *
+ * This includes the initialization of the pointer field, and accesses
+ * to virtual fields (as instance marker in Java). Certainly this
+ * includes virtual method calls. */
+double get_class_estimated_n_dyncalls(type *clss);
+/** Returns the number of writes to the dispatch pointer.
+ * This is the same as the number of allocations. */
+double get_class_estimated_dispatch_writes(type *clss);
+/** Returns the number of reads of the dispatch pointer. */
+double get_class_estimated_dispatch_reads (type *clss);