CORSIKA: A Monte Carlo code to simulate extensive air showers | Synapse