Category options: get integer value from argument pointer