method
compute_funspec (_: kernel_function) =
Zone
.bottom