Module Core_kernel__Immediate_option