const border_top_setterinfo: JSJitInfo;