#include "asm.h" int main(void) { while (1) WFI(); }