cgo: added example using printf