program bad-read is
begin
    read 666
end