mksh R56b -> R56c