requested or all the properties are enumerated.

This approximately halves the time that get_msg_header() takes.

Doing the same thing with other objects should provide significant speedups.
It is MUST easier to do if getter/setters are defined.