# Compiled programs:
gen_pkcs3