Fixup: ws_value_int type def -> no locking
Fixup: int_deinit()
Fixup: ws_value_int_set()
Fixup: ws_value_int_get()
Fixup: ws_value_int_cmp()