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