Update tiny.cpp