z3 property

int z3

Implementation

final int z3;