static int snippetType_document() {
  ret 100;
}