Initial library and simple examples