public static extern void glk_stream_close(strid_t str, out stream_result_t result);
public static extern void glk_window_close(winid_t win, out stream_result_t result);
public static extern void glk_stream_close(strid_t str, out stream_result_t result);
public static extern void glk_window_close(winid_t win, out stream_result_t result);