(assert ((_ rotate_left 10
; end of file