implement return statement
change debug messages
implement implicit template parameter instantiation
fix type. fix entry point. add comments for vuln