fixed return type of pushprototype to void