use Scanf.sscanf instead of CoreString.unescaped