revisions and C++ implementation of milk