Loading annotation for www.bitecode.dev