protected function lib_unit($args) { $num = $args[0]; if ($num[0] == "number") { return array("string", '"', array($num[2])); } return ""; }