Vingle version

Chansuk (@heuwu) worked on Vingle. He and his colleagues made many patches.