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