Added the @julia.extraction.EntryPoint annotation