(The switch from bool to int, that is.)