const border_getterinfo: JSJitInfo;