@nedbat do you know why it is not possible to import this on top of the file?