# Automatically generated; do not edit. -- <HASH> printf '\01\02\03\04' | spicy-driver -d %INPUT/printf '\01\02\03\04' | spicy-driver -d %INPUT/False
# printf '\01\02\03\04' | spicy-driver -d foo.spicy
0, 2, 0
[$f=(x1: 0, x2: 2, x3: 0)]
