# Automatically generated; do not edit. -- <HASH> spicyc -j %INPUT//False
[$version=(not set)]
version is 42