{
  "procedures": [
    {
      "name": "puts",
      "inputs": [["str","string"]],
      "outputs": [],
      "returnStyle": "void",
      "desc": "Outputs a string followed by a newline to the console."
    },
    {
      "name": "printf",
      "inputs": [["fmt","string"]],
      "outputs": [["result","int"]],
      "returnStyle": "value",
      "formatString": true,
      "desc": "Outputs a formatted string with placeholders to the console. Dynamically creates data inputs for each % specifier in the format string."
    },
    {
      "name": "getchar",
      "inputs": [],
      "outputs": [["result","int"]],
      "returnStyle": "value",
      "desc": "Reads a single character from the keyboard input."
    },
    {
      "name": "putchar",
      "inputs": [["c","int"]],
      "outputs": [["result","int"]],
      "returnStyle": "value",
      "desc": "Writes a single character to the console output."
    },
    {
      "name": "perror",
      "inputs": [["msg","string"]],
      "outputs": [],
      "returnStyle": "void",
      "desc": "Prints an error message describing the last error to stderr."
    }
  ]
}