match x: case int(n) if :