I was just in the trollbox asking about what happens to the CIRC that may be sold into the buywall if people sell into it. What happens to those coins is what I was wondering, I've now been advised but i'm still reconfirming but it appears those coins get given back to the dev team.... 

They dont get the btc but they get free CIRC.

I think the devs need to make a decission to burn any coins that may be sent to them from the ico.

It's the right thing to do. No reason for the devs to get a stack of their coins for free from ccex buy walls and it makes good to everyone who invested and paid for their coins.