Unless heap_s is a bitstype then the tuple will be allocated on the heap. But 
you are saying it is getting allocated twice?

Reply via email to