#include #include extern "C" { u64 osClockRate = 62500000; }