import "file.nat"; fn [cc(.c)] main [export]() s32 { >result: s32 = file.foo(); return result; }