contract c {
    mapping(uint => mapping(uint => int8)[8][][9])[] x;
}
// ----