Module synthesized_shape_declaration