Magic numbers and casts