OREd: console.c