export def foo [] { 'foo' }