add mapper for strlen()