The verifying compiler | Synapse