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