method compute_funspec (_: kernel_function) =
    Zone.bottom