let
expr_to_kernel_function_state =
expr_to_kernel_function_state ~with_alarms:
CilE
.warn_none_mode