Loading annotation for redbean.dev

Loading annotation for redbean.dev