static int javaxIncludeSnippetType() {
  ret 42;
}