this is a bit rough for me
abstract of the code

import <stuff>
let <stuff>

proc dive()=
  walk(y)
proc walk()=
  dive(x)