The console is not handled any more by a console_process but by a console_process_int in order to deal with received integers.