declarations recorded in .mil file