Rule (X1), (X2), (X3), (X4), (X5), (X6), (X7), (X8), (X9) * returns the length of the string without explicit marks */
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected