int cast not required