coolo_strlen.vgtest revision e739ac0589b4fb43561f801c4faba8c1b89f8680
1prog: coolo_strlen
2