extern void
command_loop(void);