type string = int