Symbol: sbuf_put32