#ifndef __MAL_READLINE__ #define __MAL_READLINE__ char *_readline (char prompt[]); #endif