Symbol: subprog_untrusted