I’m working on a DO-178C compliant verification suite for avionics software with Z3 at work, criminally underrated