Loading annotation for int32bit.github.io