#ifndef HALT_H
#define HALT_H

void halt() __attribute__((noreturn));

#endif