Without memory corruption it's not possible for the switch to fall through, and the compiler will error if we forget to add a case. The compiler however is obliged to consider that we might store some other value in the variable.
on_internal_error
check_exists