start the heap construction: load from a heap is done... store, CAS, and singleton (mapsto) to be done