then they cast to void()