Changed Foreign.Export to match API described in paper.