This program:
#lang dssl2
def fun():
helper()
def helper():
return 0
fun()
produces the error:
real-definition: undefined;
cannot use before initialization
without a useful source location.
real-definition looks like some internal name leaking, but the name from the program would be better.