void arch_init(void);

int main(void) {
  arch_init();
}