Nexi trees, libcore