improved_verif_add_prototyping_code
main
- Also add some prototyping code a prep for generic PUS router