The String option may be used to dereference C char pointers; This allows you to evaluate the null-terminated sequence of characters to which a C pointer points.
