let
pin_re =
Str
.regexp
"^\\([A-Za-z]+\\)[ \t]+\\(.*\\)$"