Prompt uses readline and syscall is in util.h