gl_read_terminal
} else if(gl_read_terminal(gl, 0, &c) == 0) {
while(gl_read_terminal(gl, 1, &c) == 0) {
if(gl_read_terminal(gl, 1, &c) == 0) {
if(gl_read_terminal(gl, 1, &c))
if(gl_read_terminal(gl, 1, &c))
if(gl_read_terminal(gl, 1, &c))
if(gl_read_terminal(gl, 1, &c))
static int gl_read_terminal(GetLine *gl, int keep, char *c);