# Automatically generated; do not edit. -- <HASH> printf '\000\001\000\002\000\003xyz' | spicy-driver %INPUT/printf '\000\001\000\002\000\003xyz' | spicy-driver %INPUT/False
# printf '\000\001\000\002\000\003xyz' | spicy-driver foo.spicy
[$x=[1, 2, 3], $y=b"xyz"]