Update kernel

Added saveToFile() and inSpan()