in interactive session, let top-level value be pending