/* finds comments in JavaX source looking like this:
   // !transpileMainSnippet #123
*/

sS mainTranspilationSnippetFromSrc(S src) {
  ret regexpFirstGroup(
    "^!transpileMainSnippet\\s+(#\\d+)",
    trimmedJavaLineComments(src));
}