// Pup.decl
// Copyright Xerox Corporation 1979

get "Pup0.decl"
get "Pup1.decl"
get "PupRTP.decl"
get "PupBSP.decl"