memset
free
kf
prev_state
new_state
kernel_function
map_inputs
st
Cvalue.Model.t
Value_types.call_res
start_doing