Loading annotation for justpy.io