move rotate_left() function away from the public header.