# Automatically generated; do not edit. -- printf '\000\001rfc1350.txt\000octet\000' | spicy-driver %INPUT/printf '\000\001rfc1350.txt\000octet\000' | spicy-driver %INPUT/False # printf '\000\001rfc1350.txt\000octet\000' | spicy-driver tftp.spicy [$opcode=1, $filename=b"rfc1350.txt", $mode=b"octet"]