#pragma once #include <stdint.h> void gen_opstats(uint32_t instruction); int32_t get_opstats_buffer(int32_t index);