void main() {
    while(!feof(stdin)) {
        execute_line();
    }
}