static String actualUserHome_value;
static String actualUserHome() {
  if (actualUserHome_value == null) {
    if (isAndroid())
      actualUserHome_value = "/storage/emulated/0/";
    else
      actualUserHome_value = System.getProperty("user.home");
  }
  ret actualUserHome_value;
}

static File actualUserHome(S sub) {
  ret newFile(new File(actualUserHome()), sub);
}