# Automatically generated; do not edit. -- <HASH> printf '\00\00\00\01' | spicy-driver %INPUT/printf '\00\00\00\01' | spicy-driver %INPUT/False
# printf '\00\00\00\01' | spicy-driver foo.spicy
[$a=[$x=1], $b=[$y=b"\x00\x00\x00\x01"], $start=<offset=0 data=b"\x00\x00\x00\x01">]