/tests/halcompile/command_line_flags/