let
get_v =
function
|
C_uninit_esc
v
|
C_uninit_noesc
v
|
C_init_esc
v
|
C_init_noesc
v
->
v