HTF-0.15.0.2: tests/bbt/should_pass/stdin_ok.x