#83: set more default values in header files