This is the foreign header