export function $f() { @start.1 @body.2 ret }