A Library-based implementation of Habanero-C