No necessary casting