#ifndef SHUTDOWN_H
#define SHUTDOWN_H

void shutdown() __attribute__ ((noreturn));

#endif