// This should NOT produce an error
#line 1337 "Some_other_source_file.txt"
RIGHT
