#include "clock.h"

[[noreturn]]
void main() {
	init_clock();

	while (1) {}
}