Bad symbol name `:"trade-credits"`