A toolkit of operating system definitions for use by Ada programmers