Comment by ebiggs

At large airports most, if not all, domestic flights are not serviced in the international terminal for the very reason that once you're past security in the international terminal you are going to be subject to customs and border protection if you were to leave that secure area (recall departure and arrival share the same secure space)