typ test = (a: int, b: char)