# Automatically generated; do not edit. -- <HASH> printf '\01\02\03\04\05\06\07' | spicy-driver %INPUT/printf '\01\02\03\04\05\06\07' | spicy-driver %INPUT/False
# printf '\01\02\03\04\05\06\07' | spicy-driver foo.spicy
[$x=1, $y=7]
