P
Initializing...
Quad Int eq int Cast of im eq zero · Prove2Me