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