static void tok_kiloConstants(L<S> tok) {
  if (!tok.contains("K")) ret;
  jreplace(tok, "<int> K", "($1*1024)");
}