# File ruby-vpi-dynamic.rb, line 1587
def change_ht?; end