protected function lib_counter($args) { $list = array_map(array($this, 'compileValue'), $args); return array('string', '', array('counter(' . implode(',', $list) . ')')); }