use vga; use term; use rt; use bios; use drive; export fn main() void = { let text = vga::attach(0xb8000, 80, 25); term::clear(&text); term::setcolors(&text, (term::color::LMAGENTA, term::color::BLACK)); term::print(&text, "hello hare world!\n"); for (let i = 0z; i < 10; i += 1) { term::print(&text, "a"); }; let dest = 0x100000: uintptr: *[*]u8; drive::read(0, 512, dest)!; if (dest[511] == 0xaa) { term::print(&text, "\nnice!"); }; };