slang/tests/F_bad_version_pragma/bad_version_pragma.rs

#pragma version(2000)
#pragma version
#pragma version(1
#pragma version(1a)
#pragma rs java_package_name(foo)