something is wrong with free, the sc_top is not passed correctly