Internal do-sequence macro