match 42:
    case [1, *x]:
        y
z