add section sceleton  "informal specification of the struct functions"