ERROR: IncompatibleTypeParameters - input.hack:13:37 - Type string should be a subtype of int