(*) defines new method locate_varname used by plc-config-tty