Recur seems to be lexically scoped and trampoline seems to allow mutual recursion (in a lexical model again), so cross module calls are probably not tail-callable. Am I correct?