Next: generate function body