generation and name binding for kernel productions