StandaloneGeometry ToyDraw smt_build_default smt_build_material smt_check_geometry smt_setup_geometers