#include <gccore.h>

#define gecko_channel 1
#define pausedstartoption 0

void do_codes(u64 titleid);