check-synth.py