synthesized3
validate_synthesized3
