verify vm #set()