console.c => supprting UP/DOWN arrow history - still need to make as finite array, see FIXME comment