devBoxCount top-level property

int devBoxCount
getter/setter pair

Implementation

int devBoxCount = 0;