^{* 18} dpatch における 00list と同じ役割を果たします。