Needs #include <console.h>.