Globals:
  t=23
Functions:
  F, 21 nodes
Stack:
  23
  28657