Add overflow check on msg header to the default packer.
Add some annotaions to some demos.