// This test file purposefully has no `ERROR` and no `execute` annotation.

def main() { }