include module left_half() { import(file = "left-half.3mf"); } left_half();