regset4.spl

// 
// BOPC Evaluation
//
// Initialize 4 registers
//
void payload() 
{ 
    __r0 = 0;
    __r1 = 1;
    __r2 = 2;
    __r3 = 3;
}