bug: typedef carbon port set from cfg to int