You want the ``;`` here since the comment about ``// ...print the records`` indicates that more code will follow.