requiring leda now doesn't mess with globals