Symbol: call_nodat