Ditto with these critsecsize functions.