Completion, coding for ansi-term