Simple extensions where message and extension are in same file, and extension is top level.