// Basic function with a call foo1 { B: foreign "C--" bar() "safe"; goto B; }