fix int cast for slot