made casting void stack pointers nicer