type varstring = ^string;