<<>> <> <> <> <> <<>> Run IntToIntTabImpl