static LS tok_destatic_identifiers = javaTokC([[
  bool S class void
]]);
svoid tok_destatic(LS tok) {
  jreplace(tok, "static", "");
  for (S id : tok_destatic_identifiers)
    jreplace(tok, "s" + id, id);
}

sS tok_destatic(S s) {
  ret applyTranspilationFunction tok_destatic(s);
}