Ada Type B Unit Requirements