#
# rc1.splintrc
#

-DMYSTERY="a silly\"flag\"\\"

-f rc2.splintrc