const border_block_width_getterinfo: JSJitInfo;