$system int foo(void);