Reference implementation of kioto