#ifndef _MAIN_H_4e89a5ca_
#define _MAIN_H_4e89a5ca_

extern void die(int) __attribute__((__noreturn__));

#endif