Symbol: subprog_aux