let
pat =
Str
.regexp (
"\\(.*\\)\\(//.*\\)$"
)