static LS tok_integersInOrder(S s) {
  ret filter isInteger(javaTokC(s));
}