Examples of libdf3d usage