exported FileId type