No need to cast output