#define _STATISTICS_H
#include "config.h"
+
+#include <stdint.h>
+
#include "vm/types.h"
#include "vm/global.h"
extern s4 size_string;
extern s4 size_threadobject;
+extern int32_t size_thread_index_t;
+extern int32_t size_stacksize;
extern s4 size_lock_record;
extern s4 size_lock_hashtable;
extern s4 size_lock_waiter;
+extern int32_t count_linenumbertable;
+extern int32_t size_linenumbertable;
+
extern s4 size_patchref;
extern u8 count_calls_java_to_native;