pushRot method

void pushRot (int num)

Implementation

void pushRot(int num);