Symbol: dmfe_setup_put32