/*
 * utili.cpp
 *
 *  Created on: 28.07.2018
 *      Author: eyck
 */


// see https://stackoverflow.com/questions/34308720/where-is-dso-handle-defined#39521737
void* __dso_handle = (void*) &__dso_handle;