kd_printf
kd_printf(4, "state %p +%d\t%s:%d\n", state, state->refs, file, line);
kd_printf(4, "state %p -%d\t%s:%d\n", state, state->refs, file, line);