"~{v}" -> return ~{v}