# Automatically generated; do not edit. -- <HASH> printf '\05' | spicy-driver %INPUT/printf '\05' | spicy-driver %INPUT/False
# printf '\05' | spicy-driver foo.spicy
My multiplied integer: 25