static int tenK() {
  ret 10*1024;
}