s32 main (int argc, char **argv) {
// Initialize services
gfxInitDefault();
gfxSwapBuffers();

consoleInit(GFX_BOTTOM, NULL);
if (brahma_init()) {
if ((argc > 1) && (argc <= 4)) {
char* payload = argv[1];
u32 offset = 0;
u32 psize = 0;

if (argc > 2) sscanf(argv[2], "%X", &offset);
if (argc > 3) sscanf(argv[3], "%X", &psize);

printf("[+] Loading %s@%X (size %X)\n", payload, offset, psize);
load_arm9_payload(payload, offset, psize);
firm_reboot();
printf("[!] Loading failed\n");
(...);