digraph {
  rankdir=RL
  node[shape=record]

  ar[label="...
           |Local variables
           |...
           |<arp>Parameters
           |<carp>Caller's ARP
           |Return address
           |Return value
           |<al>Access link
  "]

  ar:carp->{null1[shape=point]}
  ar:al->{null2[shape=point]}

  {arp[shape=none, label="ARP"]}->ar:arp

}
