adding format example from fosad ... pretypes