Loading annotation for redbean.dev