Using RTL doesn’t necessarily result in large binaries. In my (non-WASM) experience, they’re more in line with the “hundreds of kilobytes” flohofwoe suggests.