console.h revision 28cdc3d776761766afeb198769d1b70ed7e0f2e1