prog: coolo_strlen