option property

int option
getter/setter pair

Implementation

int option;