digraph {
  {
    rank=same

    sp1[label="sp"]
    sp2[label="sp"]

    call[label=<<table>
      <tr><td colspan="2"><i>stack<br>...</i></td></tr>
      <tr><td>object size</td><td>4</td></tr>
      <tr><td port="stack">return address</td><td>351</td></tr>
      <tr><td colspan="2"><i>...</i></td></tr>
    </table>>, shape=plaintext, xlabel="memalloc"]

    return[label=<<table>
      <tr><td colspan="2"><i>stack<br>...</i></td></tr>
      <tr><td port="stack">object address</td><td>56</td></tr>
      <tr><td colspan="2"><i>...</i></td></tr>
    </table>>, shape=plaintext, xlabel="result"]
  }

  sp1->call:stack
  sp2->return:stack
}