VCard: VCF file format module

PUBLIC TYPE VCAddress RECORD
    PostOfficeBox,
    ExtendedAddress, --  apartment or suite number
    Street,
    City,
    State,
    ZIP,
    Country STRING
    -- , CountryCode STRING -- X-ABADR:de
  END RECORD

PUBLIC TYPE VCName RECORD
    FirstName,
    LastName,
    MiddleName,
    Prefix,
    Suffix STRING
    --, FormattedName STRING
  END RECORD

PUBLIC TYPE VCPerson RECORD
    FirstName STRING, -- N[1]
    LastName STRING, -- N[2]
    MiddleName STRING, -- N[3]
    Prefix STRING, -- N[4]
    Suffix STRING, -- N[5]
    formattedName STRING, -- FN
    nickname STRING, -- NICKNAME
    jobTitle STRING, -- TITLE
    organization STRING, -- ORG.value[1]
    department STRING, -- ORG.value[2]
    birthday STRING, -- BDAY
    note STRING, -- NOTE
    address DYNAMIC ARRAY OF RECORD
        type STRING,
        PostOfficeBox, -- ADR[1]
        ExtendedAddress, -- ADR[2]
        Street, -- ADR[3]
        City, -- ADR[4]
        State, -- ADR[5]
        ZIP, -- ADR[6]
        Country STRING   -- ADR[7]
    END RECORD,
    phone DYNAMIC ARRAY OF RECORD
        type STRING,
        number STRING -- TEL
    END RECORD,
    email DYNAMIC ARRAY OF RECORD
        type STRING,
        value STRING -- EMAIL
  END RECORD

format_person(
   person VCPerson )
  RETURNS STRING

scan_address(
   source STRING,
   type STRING )
  RETURNS VCAddress

scan_email(
   source STRING,
   type STRING )
  RETURNS STRING

scan_person(
   source STRING )
  RETURNS VCPerson

scan_phone(
   source STRING,
   type STRING )
  RETURNS STRING