#include <stdint.h>

extern uint64_t rdcycle();
extern uint64_t rdinstret();