#include <reg.h>
#include <stdint.h>

int main(void)
{
	/* TODO: Replace with an indefinite wait */
	while (1)
		;
}