// UnitTest: tests/exploitation.cpp, Exploitation.Doc_ExampleEov_1

interface(extern-c){
  externalLibs = library:: pkgconfig("libxml-2.0").

  include {
      externalLibs = {"scripts/virtualization/defs.h"}
  }.
}

<insert ExampleEov_1_Specializations>

print = function(content:: Content):: int
{
  switch variant(content):: int
    case (errcode) {content["data"]}
    case (message) {printf("%s", content["data"])}
}

sendResponse = function(header:: Content, body:: Content, footer:: Content):: int 
{
  seq
    {print(header)}
    {print(body)}
    {print(footer)}
}

main = function:: int; entry 
{
  seq 
    {
      header = send("Header"):: Content; eov_checkpoint(webpage, header).
      header
    }

    {
      body = send("Body"):: Content; eov_checkpoint(webpage, body).
      body
    }
    
    {
      footer = send("Footer"):: Content; eov_checkpoint(webpage, footer).
      footer
    }
    
    {
      sendResponse(header, body, footer)
    }
}