I know we are ;). But could an unwary end-user get unexpected results? I'm just mildly worried about casting to void, purely from a safety point of view.