namespace Psl\IO;

function write_line(string $line, mixed ...$args): void {}