indenting console.c
exec 10: backtrace
exec 12: backtrace. XXX: line number is always 0???
disable -O1
all execsices complete, grade should all passed, 30/50 makes no sense