const border_block_end_setterinfo: JSJitInfo;