set_bind_f64: 80000000
set_bind_u32: 80000000
set_c_u32: 80000000