snippets for UltiSnips used by zhujinxuan