{
  "procedures": [
    {
      "name": "strlen",
      "inputs": [["str","string"]],
      "outputs": [["result","int"]],
      "returnStyle": "value",
      "desc": "Returns the length of a string."
    },
    {
      "name": "strcmp",
      "inputs": [["s1","string"],["s2","string"]],
      "outputs": [["result","int"]],
      "returnStyle": "value",
      "desc": "Compares two strings lexicographically."
    }
  ]
}