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