insertion-compilation管 (5) 17