Added in header for defs from pre-preposal so that all compiles.