module sdl3::sdl; typedef IOStream = void;