dump.notfun (NOTFUN)