toplevel: make toplevel def with initializer work