
#include "glk.h"

extern void iosglk_set_can_restart_flag(int);
extern int iosglk_can_restart_cleanly(void);
extern void iosglk_shut_down_process(void) GLK_ATTRIBUTE_NORETURN;


#include "glk.h"
#include "iosglk_startup.h"

extern void iosglk_set_can_restart_flag(int);
extern int iosglk_can_restart_cleanly(void);
extern void iosglk_shut_down_process(void) GLK_ATTRIBUTE_NORETURN;

Include the generic startup header, since that declares iosglk_startup_code().
Include the generic startup header, since that declares
iosglk_startup_code().
