I am using Python API to work with DolphinDB database. Sometimes I would like to get the list of all variables I have uploaded to DolphinDB in the current session. Anyone kn