API of integer_callback changed the other way around