refvar {
  java.lang.System4_out,
  DLL.init5_this,
  DLL_this,
  DPairs.main1_$r0,
  DPairs.main1_$r1,
  DPairs.main1_args,
  DPairs.main1_dummy,
  DPairs.main1_prev,
  DPairs.main1_t,
  DPairs.main1_x,
  DPairs.main1_y,
  java.lang.String_array_parameter0
}

reffld {
  DLL3_n,
  DLL3_p
}

site {
  L5
}

type {
  DLL
}

cfg {

  tvla_entry "prolog.1.1" Skip() ;
  "prolog.1.1" "DPairs:void_main(java.lang.String_array).1[line???][bc???]" Skip() ;

  "DPairs:void_main(java.lang.String_array).1[line???][bc???]" "DPairs:void_main(java.lang.String_array).2[line15][bc???]" Copy_Var(DPairs.main1_args, java.lang.String_array_parameter0) ;
  "DPairs:void_main(java.lang.String_array).2[line15][bc???]" "DPairs:void_main(java.lang.String_array).3[line17][bc???]" Skip() ;
  "DPairs:void_main(java.lang.String_array).3[line17][bc???]" "DPairs:void_main(java.lang.String_array).4[line19][bc???]" Set_Null_Var(DPairs.main1_x) ;
  "DPairs:void_main(java.lang.String_array).4[line19][bc???]" "DPairs:void_main(java.lang.String_array).5[line19][bc???]" Skip() ;
  "DPairs:void_main(java.lang.String_array).5[line19][bc???]" "DPairs:void_main(java.lang.String_array).17[line30][bc???]" Skip() ;
  "DPairs:void_main(java.lang.String_array).5[line19][bc???]" "DPairs:void_main(java.lang.String_array).6[line20][bc???]" Skip() ;
  "DPairs:void_main(java.lang.String_array).6[line20][bc???]" "DPairs:void_main(java.lang.String_array).7[line20][bc???]" New(DLL, L5, DPairs.main1_$r0) ;
  "DPairs:void_main(java.lang.String_array).7[line20][bc???]" "DPairs:void_main(java.lang.String_array).8[line20][bc???]" Copy_Var(DLL_this, DPairs.main1_$r0) ;
  "DPairs:void_main(java.lang.String_array).8[line20][bc???]" "DLL:void_<init>().1[line???][bc???]" Call() ;
  "DLL:void_<init>()[exit][line8][bc???]" "DPairs:void_main(java.lang.String_array).9[line20][bc???]" Return() ;
  "DPairs:void_main(java.lang.String_array).9[line20][bc???]" "DPairs:void_main(java.lang.String_array).10[line21][bc???]" Copy_Var(DPairs.main1_y, DPairs.main1_$r0) ;
  "DPairs:void_main(java.lang.String_array).10[line21][bc???]" "DPairs:void_main(java.lang.String_array).14[line26][bc???]" Is_Local_Null(DPairs.main1_x) ;
  "DPairs:void_main(java.lang.String_array).10[line21][bc???]" "DPairs:void_main(java.lang.String_array).11[line22][bc???]" Is_Local_Not_Null(DPairs.main1_x) ;
  "DPairs:void_main(java.lang.String_array).11[line22][bc???]" "DPairs:void_main(java.lang.String_array).11.1[line22][bc???]" Assign_Field_with_Null(DPairs.main1_y, DLL3_n) ;
  "DPairs:void_main(java.lang.String_array).11.1[line22][bc???]" "DPairs:void_main(java.lang.String_array).12[line23][bc???]" Assign_Field_with_Local(DPairs.main1_y, DLL3_n, DPairs.main1_x) ;
  "DPairs:void_main(java.lang.String_array).12[line23][bc???]" "DPairs:void_main(java.lang.String_array).12.1[line23][bc???]" Assign_Field_with_Null(DPairs.main1_x, DLL3_p) ;
  "DPairs:void_main(java.lang.String_array).12.1[line23][bc???]" "DPairs:void_main(java.lang.String_array).13[line24][bc???]" Assign_Field_with_Local(DPairs.main1_x, DLL3_p, DPairs.main1_y) ;
  "DPairs:void_main(java.lang.String_array).13[line24][bc???]" "DPairs:void_main(java.lang.String_array).14[line26][bc???]" Skip() ;
  "DPairs:void_main(java.lang.String_array).14[line26][bc???]" "DPairs:void_main(java.lang.String_array).15[line19][bc???]" Copy_Var(DPairs.main1_x, DPairs.main1_y) ;
  "DPairs:void_main(java.lang.String_array).15[line19][bc???]" "DPairs:void_main(java.lang.String_array).16[line19][bc???]" Skip() ;
  "DPairs:void_main(java.lang.String_array).16[line19][bc???]" "DPairs:void_main(java.lang.String_array).5[line19][bc???]" Skip() ;
  "DPairs:void_main(java.lang.String_array).17[line30][bc???]" "DPairs:void_main(java.lang.String_array).18[line31][bc???]" Copy_Var(DPairs.main1_y, DPairs.main1_x) ;
  "DPairs:void_main(java.lang.String_array).18[line31][bc???]" "DPairs:void_main(java.lang.String_array).19[line32][bc???]" Skip() ;
  "DPairs:void_main(java.lang.String_array).19[line32][bc???]" "DPairs:void_main(java.lang.String_array).30[line42][bc???]" Is_Local_Null(DPairs.main1_y) ;
  "DPairs:void_main(java.lang.String_array).19[line32][bc???]" "DPairs:void_main(java.lang.String_array).20[line33][bc???]" Is_Local_Not_Null(DPairs.main1_y) ;
  "DPairs:void_main(java.lang.String_array).20[line33][bc???]" "DPairs:void_main(java.lang.String_array).21[line34][bc???]" Assign_Local_with_Field(DPairs.main1_prev, DPairs.main1_y, DLL3_p) ;
  "DPairs:void_main(java.lang.String_array).21[line34][bc???]" "DPairs:void_main(java.lang.String_array).27[line39][bc???]" Is_Local_Null(DPairs.main1_prev) ;
  "DPairs:void_main(java.lang.String_array).21[line34][bc???]" "DPairs:void_main(java.lang.String_array).22[line35][bc???]" Is_Local_Not_Null(DPairs.main1_prev) ;
  "DPairs:void_main(java.lang.String_array).22[line35][bc???]" "DPairs:void_main(java.lang.String_array).23[line35][bc???]" Skip() ;
  "DPairs:void_main(java.lang.String_array).23[line35][bc???]" "DPairs:void_main(java.lang.String_array).24[line35][bc???]" Skip() ;
  "DPairs:void_main(java.lang.String_array).24[line35][bc???]" "DPairs:void_main(java.lang.String_array).25[line35][bc???]" Skip() ;
  "DPairs:void_main(java.lang.String_array).25[line35][bc???]" "DPairs:void_main(java.lang.String_array).26[line37][bc???]" Skip() ;
  "DPairs:void_main(java.lang.String_array).26[line37][bc???]" "DPairs:void_main(java.lang.String_array).27[line39][bc???]" Copy_Var(DPairs.main1_dummy, DPairs.main1_prev) ;
  "DPairs:void_main(java.lang.String_array).27[line39][bc???]" "DPairs:void_main(java.lang.String_array).28[line40][bc???]" Assign_Local_with_Field(DPairs.main1_t, DPairs.main1_y, DLL3_n) ;
  "DPairs:void_main(java.lang.String_array).28[line40][bc???]" "DPairs:void_main(java.lang.String_array).29[line40][bc???]" Copy_Var(DPairs.main1_y, DPairs.main1_t) ;
  "DPairs:void_main(java.lang.String_array).29[line40][bc???]" "DPairs:void_main(java.lang.String_array).19[line32][bc???]" Skip() ;
  "DPairs:void_main(java.lang.String_array).30[line42][bc???]" "DPairs:void_main(java.lang.String_array).31[line42][bc???]" Copy_Var(DPairs.main1_$r1, java.lang.System4_out) ;
  "DPairs:void_main(java.lang.String_array).31[line42][bc???]" "DPairs:void_main(java.lang.String_array).32[line43][bc???]" Skip() ;
  "DPairs:void_main(java.lang.String_array).32[line43][bc???]" "DPairs:void_main(java.lang.String_array)[exit][line43][bc???]" Skip() ;

  "DLL:void_<init>().1[line???][bc???]" "DLL:void_<init>().2[line8][bc???]" Copy_Var(DLL.init5_this, DLL_this) ;
  "DLL:void_<init>().2[line8][bc???]" "DLL:void_<init>().3[line8][bc???]" Skip() ;
  "DLL:void_<init>().3[line8][bc???]" "DLL:void_<init>()[exit][line8][bc???]" Skip() ;
  
  "DPairs:void_main(java.lang.String_array).32[line43][bc???]" tvla_exit Skip() ;
}