Building this application in release mode (cargo build --release) will generate a tiny (5k) executable on Windows. It demonstrates using no_std mode while still using an allocator and a Vec.