Loading annotation for wasi.dev