Magic numbers are funny