#include "SHAL.h"

#include <cstdlib>

int main() {

    //End setup

    while (true) {
    	__WFI();
    }
}