static S[] programArgs() {
  L injections = cast call(getJavaX(), "getInjections");
  O i1 = first(injections);
  S[] args = (S[]) getOpt(i1, "arguments");
  ret args != null ? args : new S[0];
}