#ifndef EXEC_H #define EXEC_H void execute_line(char *line); #endif