{
  "procedures": [
    {
      "name": "time",
      "inputs": [["timer","int"]],
      "outputs": [["result","int"]],
      "returnStyle": "value",
      "desc": "Returns the current calendar time in seconds."
    },
    {
      "name": "clock",
      "inputs": [],
      "outputs": [["result","int"]],
      "returnStyle": "value",
      "desc": "Returns the processor time used by the program."
    }
  ]
}