Magic number (programming)
In computer programming, the term magic number has multiple meanings. It could refer to one or more of the following:
- Unique values with unexplained meaning or multiple occurrences which could be replaced with named constants
- A constant numerical or text value used to identify a file format or protocol; for files, see List of file signatures
- Distinctive unique values that are unlikely to be mistaken for other meanings
Unnamed numerical constants
Names chosen to be meaningful in the context of the program can result in code that is more easily understood by a maintainer who is not the original author. An example of an uninformatively-named constant is
int SIXTEEN = 16
, while int NUMBER_OF_BITS = 16
is more descriptive.The problems associated with magic 'numbers' described above are not limited to numerical types and the term is also applied to other data types where declaring a named constant would be more flexible and communicative. Thus, declaring
const string testUserName = "John"
is better than several occurrences of the 'magic value' "John"
in a test suite.For example, if it is required to randomly shuffle the values in an array representing a standard pack of playing cards, this pseudocode does the job using the Fisher–Yates shuffle algorithm:
for i from 1 to 52
j := i + randomInt - 1
a.swapEntries
where
a
is an array object, the function randomInt
chooses a random integer between 1 and x, inclusive, and swapEntries
swaps the ith and jth entries in the array. In the preceding example, 52
is a magic number. It is considered better programming style to write the following:constant int deckSize := 52
for i from 1 to deckSize
j := i + randomInt - 1
a.swapEntries
This is preferable for several reasons:
- It is easier to read and understand. A programmer reading the first example might wonder, What does the number 52 mean here? Why 52? The programmer might infer the meaning after reading the code carefully, but it is not obvious. Magic numbers become particularly confusing when the same number is used for different purposes in one section of code.
- It is easier to alter the value of the number, as it is not duplicated. Changing the value of a magic number is error-prone, because the same value is often used several times in different places within a program. Also, when two semantically distinct variables or numbers have the same value they may be accidentally both edited together. To modify the first example to shuffle a Tarot deck, which has 78 cards, a programmer might naively replace every instance of 52 in the program with 78. This would cause two problems. First, it would miss the value 53 on the second line of the example, which would cause the algorithm to fail in a subtle way. Second, it would likely replace the characters "52" everywhere, regardless of whether they refer to the deck size or to something else entirely, such as the number of weeks in a Gregorian calendar year, or more insidiously, are part of a number like "1523", all of which would introduce bugs. By contrast, changing the value of the
deckSize
variable in the second example would be a simple, one-line change. - It encourages and facilitates documentation. The single place where the named variable is declared makes a good place to document what the value means and why it has the value it does. Having the same value in a plethora of places either leads to duplicate comments or leaves no one place where it's both natural for the author to explain the value and likely the reader shall look for an explanation.
- The declarations of "magic number" variables are placed together, usually at the top of a function or file, facilitating their review and change.
- It facilitates parameterization. For example, to generalize the above example into a procedure that shuffles a deck of any number of cards, it would be sufficient to turn
deckSize
into a parameter of that procedure, whereas the first example would require several changes.
for i from 1 to deckSize
j := i + randomInt - 1
a.swapEntries
- It helps detect typos. Using a variable takes advantage of a compiler's checking. Accidentally typing "62" instead of "52" would go undetected, whereas typing "
dekSize
" instead of "deckSize
" would result in the compiler's warning thatdekSize
is undeclared. - It can reduce typing in some IDEs. If an IDE supports code completion, it will fill in most of the variable's name from the first few letters.
- When the named constant is not defined near its use, it hurts the locality, and thus comprehensibility, of the code. Putting the 52 in a possibly distant place means that, to understand the workings of the for loop completely, one must track down the definition and verify that it is the expected number. This is easy to avoid when the constant is only used in one portion of the code. When it's used in disparate portions, on the other hand, the remote location is a clue to the reader that the same value appears elsewhere, that may also be worth looking into.
- It may make the code more verbose. The declaration of the constant adds a line. When the constant's name is longer than the value's, particularly if several such constants appear in one line, it may make it necessary to split one logical statement of the code across several lines. An increase in verbosity may be justified when there is some likelihood of confusion about the constant, or when there is a likelihood the constant may need to be changed, such as reuse of a shuffling routine for other card games. It may equally be justified as an increase in expressiveness.
- It may be slower to process the expression
deckSize + 1
at run-time than the value "53", although most modern compilers and interpreters will notice thatdeckSize
has been declared as a constant and pre-calculate the value 53 in the compiled code. Even when that's not an option, loop optimization will move the addition so that it is performed before the loop. There is therefore usually no speed penalty compared to using magic numbers in code. - It can make debugging more difficult on systems where the debugger doesn't display the values of constants.
Accepted uses
- the use of 0 and 1 as initial or incremental values in a for loop, such as
for
- the use of 2 to check whether a number is even or odd, as in
isEven =
, where%
is the modulo operator - the use of simple arithmetic constants, e.g., in expressions such as
circumference = 2 * Math.PI * radius
, or for calculating the discriminant of a quadratic equation asd = b^2 − 4*a*c
- the use of powers of 10 to convert metric values or to calculate percentage and per mille values
boolean
or bool
primitive type and so the use of 0 and 1 is ill-advised. This can be more confusing since 0 sometimes means programmatic success and failure in other cases.In C and C++, 0 is sometimes used to represent the null pointer. As with boolean values, the C standard library includes a macro definition
NULL
whose use is encouraged. Other languages provide a specific null
or nil
value and when this is the case no alternative should be used. The typed pointer constant nullptr
has been introduced with C++11.Format indicators
Origin
Format indicators were first used in early Version 7 Unix source code.Unix was ported to one of the first DEC PDP-11/20s, which did not have memory protection. So early versions of Unix used the relocatable memory reference model. Pre-Sixth Edition Unix versions read an executable file into memory and jumped to the first low memory address of the program, relative address zero. With the development of paged versions of Unix, a header was created to describe the executable image components. Also, a branch instruction was inserted as the first word of the header to skip the header and start the program. In this way a program could be run in the older relocatable memory reference mode or in paged mode. As more executable formats were developed, new constants were added by incrementing the branch offset.
In the Sixth Edition source code of the Unix program loader, the exec function read the executable image from the file system. The first 8 bytes of the file was a header containing the sizes of the program and initialized data areas. Also, the first 16-bit word of the header was compared to two constants to determine if the executable image contained relocatable memory references, the newly implemented paged read-only executable image, or the separated instruction and data paged image. There was no mention of the dual role of the header constant, but the high order byte of the constant was, in fact, the operation code for the PDP-11 branch instruction. Adding seven to the program counter showed that if this constant was executed, it would branch the Unix exec service over the executable image eight byte header and start the program.
Since the Sixth and Seventh Editions of Unix employed paging code, the dual role of the header constant was hidden. That is, the exec service read the executable file header data into a kernel space buffer, but read the executable image into user space, thereby not using the constant's branching feature. Magic number creation was implemented in the Unix linker and loader and magic number branching was probably still used in the suite of stand-alone diagnostic programs that came with the Sixth and Seventh Editions. Thus, the header constant did provide an illusion and met the criteria for magic.
In Version Seven Unix, the header constant was not tested directly, but assigned to a variable labeled ux_mag and subsequently referred to as the magic number. Probably because of its uniqueness, the term magic number came to mean executable format type, then expanded to mean file system type, and expanded again to mean any type of file.
In files
Magic numbers are common in programs across many operating systems. Magic numbers implement strongly typed data and are a form of in-band signaling to the controlling program that reads the data type at program run-time. Many files have such constants that identify the contained data. Detecting such constants in files is a simple and effective way of distinguishing between many file formats and can yield further run-time information.;Examples
- Compiled Java class files and Mach-O binaries start with hex
CAFEBABE
. When compressed with Pack200 the bytes are changed toCAFED00D
. - GIF image files have the ASCII code for "GIF89a" or "GIF87a"
- JPEG image files begin with
FF
D8
and end withFF
D9
. JPEG/JFIF files contain the ASCII code for "JFIF" as a null terminated string. JPEG/Exif files contain the ASCII code for "Exif" also as a null terminated string, followed by more metadata about the file. - PNG image files begin with an 8-byte signature which identifies the file as a PNG file and allows detection of common file transfer problems:
\211
P
N
G
\r
\n
\032
\n
. That signature contains various newline characters to permit detecting unwarranted automated newline conversions, such as transferring the file using FTP with the ASCII transfer mode instead of the binary mode. - Standard MIDI audio files have the ASCII code for "MThd" followed by more metadata.
- Unix or Linux scripts may start with a "shebang" followed by the path to an interpreter, if the interpreter is likely to be different from the one from which the script was invoked.
- ELF executables start with
7F
E
L
F
- PostScript files and programs start with "%!".
- PDF files start with "%PDF".
- DOS MZ executable files and the EXE stub of the Microsoft Windows PE files start with the characters "MZ", the initials of the designer of the file format, Mark Zbikowski. The definition allows the uncommon "ZM" as well for dosZMXP, a non-PE EXE.
- The Berkeley Fast File System superblock format is identified as either
19
54
01
19
or01
19
54
depending on version; both represent the birthday of the author, Marshall Kirk McKusick. - The Master Boot Record of bootable storage devices on almost all IA-32 IBM PC compatibles has a code of
55
AA
as its last two bytes. - Executables for the Game Boy and Game Boy Advance handheld video game systems have a 48-byte or 156-byte magic number, respectively, at a fixed spot in the header. This magic number encodes a bitmap of the Nintendo logo.
- Amiga software executable Hunk files running on Amiga classic 68000 machines all started with the hexadecimal number $000003f3, nicknamed the "Magic Cookie."
- In the Amiga, the only absolute address in the system is hex $0000 0004, which contains the start location called SysBase, a pointer to exec.library, the so-called kernel of Amiga.
- PEF files, used by the classic Mac OS and BeOS for PowerPC executables, contain the ASCII code for "Joy!" as a prefix.
- TIFF files begin with either
II
orMM
followed by 42 as a two-byte integer in little or big endian byte ordering.II
is for Intel, which uses little endian byte ordering, so the magic number is49
49
2A
00
.MM
is for Motorola, which uses big endian byte ordering, so the magic number is4D
4D
00
2A
. - Unicode text files encoded in UTF-16 often start with the Byte Order Mark to detect endianness. And on Microsoft Windows, UTF-8 text files often start with the UTF-8 encoding of the same character,
EF
BB
BF
. - LLVM Bitcode files start with
BC
- WAD files start with
IWAD
orPWAD
,WAD2
andWAD3
. - Microsoft Compound File Binary Format files start with
D0
CF
11
E0
, which is visually suggestive of the word "DOCFILE0". - Headers in ZIP files begin with "PK", the initials of Phil Katz, author of DOS compression utility PKZIP.
- Headers in 7z files begin with "7z".
The Unix utility program
file
can read and interpret magic numbers from files, and the file which is used to parse the information is called magic. The Windows utility TrID has a similar purpose.In protocols
;Examples- The OSCAR protocol, used in AIM/ICQ, prefixes requests with
2A
. - In the RFB protocol used by VNC, a client starts its conversation with a server by sending "RFB" followed by the client's protocol version number.
- In the SMB protocol used by Microsoft Windows, each SMB request or server reply begins with '
FF
53
4D
42
', or"\xFFSMB"
at the start of the SMB request. - In the MSRPC protocol used by Microsoft Windows, each TCP-based request begins with
05
at the start of the request, followed immediately by a00
or01
for the minor version. In UDP-based MSRPC requests the first byte is always04
. - In COM and DCOM marshalled interfaces, called OBJREFs, always start with the byte sequence "MEOW". Debugging extensions are prefaced with the byte sequence "MARB".
- Unencrypted BitTorrent tracker requests begin with a single byte containing the value
19
representing the header length, followed immediately by the phrase "BitTorrent protocol" at byte position 1. - eDonkey2000/eMule traffic begins with a single byte representing the client version. Currently
E3
represents an eDonkey client,C5
represents eMule, andD4
represents compressed eMule. - The first
04
bytes of a block in the Bitcoin Blockchain contains a magic number which serves as the network identifier. The value is a constant0xD9B4BEF9
, which indicates the main network, while the constant0xDAB5BFFA
indicates the testnet. - SSL transactions always begin with a "client hello" message. The record encapsulation scheme used to prefix all SSL packets consists of two- and three- byte header forms. Typically an SSL version 2 client hello message is prefixed with a
80
and an SSLv3 server response to a client hello begins with16
. - DHCP packets use a "magic cookie" value of '
0x63
0x82
0x53
0x63
' at the start of the options section of the packet. This value is included in all DHCP packet types. - HTTP/2 connections are opened with the preface '
0x505249202a20485454502f322e300d0a0d0a534d0d0a0d0a
', or "PRI * HTTP/2.0\r\n\r\nSM\r\n\r\n
". The preface is designed to avoid the processing of frames by servers and intermediaries which support earlier versions of HTTP but not 2.0.In interfaces
;Examples
- IBM PC-compatible BIOSes use magic values
0000
and1234
to decide if the system should count up memory or not on reboot, thereby performing a cold or a warm boot. Theses values are also used by EMM386 memory managers intercepting boot requests. BIOSes also use magic values55 AA
to determine if a disk is bootable. - The MS-DOS disk cache SMARTDRV uses magic values BABE and EBAB in API functions.
- Many DR DOS, Novell DOS and OpenDOS drivers developed in the former European Development Centre in the UK use the value 0EDC as magic token when invoking or providing additional functionality sitting on top of the standard DOS functions, NWCACHE being one example.
Other uses
- The default MAC address on Texas Instruments SOCs is DE:AD:BE:EF:00:00.
Data type limits
Decimal | Hex | Description |
18,446,744,073,709,551,615 | FFFF FFFF FFFF FFFF | The maximum unsigned 64 bit value |
9,223,372,036,854,775,807 | 7FFF FFFF FFFF FFFF | The maximum signed 64 bit value |
4,294,967,295 | FFFF FFFF | The maximum unsigned 32 bit value |
2,147,483,647 | 7FFF FFFF | The maximum signed 32 bit value |
65,535 | FFFF | The maximum unsigned 16 bit value |
32,767 | 7FFF | The maximum signed 16 bit value |
255 | FF | The maximum unsigned 8 bit value |
127 | 7F | The maximum signed 8 bit value |
−128 | 80 | Minimum signed 8 bit value |
−32,768 | 8000 | Minimum signed 16 bit value |
−2,147,483,648 | 8000 0000 | Minimum signed 32 bit value |
−9,223,372,036,854,775,808 | 8000 0000 0000 0000 | Minimum signed 64 bit value |
GUIDs
It is possible to create or alter globally unique identifiers so that they are memorable, but this is highly discouraged as it compromises their strength as near-unique identifiers. The specifications for generating GUIDs and UUIDs are quite complex, which is what leads to them being virtually unique, if properly implemented. They should only be generated by a reputable software tool.Microsoft Windows product ID numbers for Microsoft Office products sometimes end with 0000-0000-0000000FF1CE, such as, the product ID for the "Office 16 Click-to-Run Extensibility Component".
Java uses several GUIDs starting with
CAFEEFAC
.In the GUID Partition Table of the GPT partitioning scheme, BIOS Boot partitions use the special GUID which does not follow the GUID definition; instead, it is formed by using the ASCII codes for the string "Hah!IdontNeedEFI" partially in little endian order.
Debug values
Magic debug values are specific values written to memory during allocation or deallocation, so that it will later be possible to tell whether or not they have become corrupted, and to make it obvious when values taken from uninitialized memory are being used. Memory is usually viewed in hexadecimal, so memorable repeating or hexspeak values are common. Numerically odd values may be preferred so that processors without byte addressing will fault when attempting to use them as pointers. Values should be chosen that are away from likely addresses. Similarly, they may be chosen so that they are not valid codes in the instruction set for the given architecture.Since it is very unlikely, although possible, that a 32-bit integer would take this specific value, the appearance of such a number in a debugger or memory dump most likely indicates an error such as a buffer overflow or an uninitialized variable.
Famous and common examples include:
Code | Description |
00008123 | Used in MS Visual C++. Deleted pointers are set to this value, so they throw an exception, when they are used after; it is a more recognizable alias for the zero address. It is activated with the Security Development Lifecycle option. |
..FACADE | "Facade", Used by a number of RTOSes |
1BADB002 | "1 bad boot", Multiboot header magic number |
8BADF00D | "Ate bad food", Indicates that an Apple iOS application has been terminated because a watchdog timeout occurred. |
A5A5A5A5 | Used in embedded development because the alternating bit pattern creates an easily recognized pattern on oscilloscopes and logic analyzers. |
A5 | Used in FreeBSD's PHK malloc for debugging when /etc/malloc.conf is symlinked to "-J" to initialize all newly allocated memory as this value is not a NULL pointer or ASCII NUL character. |
ABABABAB | Used by Microsoft's debug HeapAlloc to mark "no man's land" guard bytes after allocated heap memory. |
ABADBABE | "A bad babe", Used by Apple as the "Boot Zero Block" magic number |
ABBABABE | "ABBA babe", used by Driver Parallel Lines memory heap. |
ABADCAFE | "A bad cafe", Used to initialize all unallocated memory |
B16B00B5 | "Big Boobs", Formerly required by Microsoft's Hyper-V hypervisor to be used by Linux guests as the upper half of their "guest id" |
BAADF00D | "Bad food", Used by Microsoft's debug HeapAlloc to mark uninitialized allocated heap memory |
BAAAAAAD | "Baaaaaad", Indicates that the Apple iOS log is a stackshot of the entire system, not a crash report |
BAD22222 | "Bad too repeatedly", Indicates that an Apple iOS VoIP application has been terminated because it resumed too frequently |
BADBADBADBAD | "Bad bad bad bad", Burroughs large systems "uninitialized" memory |
BADC0FFEE0DDF00D | "Bad coffee odd food", Used on IBM RS/6000 64-bit systems to indicate uninitialized CPU registers |
BADDCAFE | "Bad cafe", On Sun Microsystems' Solaris, marks uninitialized kernel memory |
BBADBEEF | "Bad beef", Used in WebKit |
BEEFCACE | "Beef cake", Used by Microsoft.NET as a magic number in resource files |
C00010FF | "Cool off", Indicates Apple iOS app was killed by the operating system in response to a thermal event |
CAFEBABE | "Cafe babe", Used by Java for class files |
CAFED00D | "Cafe dude", Used by Java for their pack200 compression |
CAFEFEED | "Cafe feed", Used by Sun Microsystems' Solaris debugging kernel to mark kmemfree memory |
CCCCCCCC | Used by Microsoft's C++ debugging runtime library and many DOS environments to mark uninitialized stack memory. CC resembles the opcode of the INT 3 debug breakpoint interrupt on x86 processors. |
CDCDCDCD | Used by Microsoft's C/C++ debug malloc function to mark uninitialized heap memory, usually returned from HeapAlloc |
0D15EA5E | "Zero Disease", Used as a flag to indicate regular boot on the Nintendo GameCube and Wii consoles |
DDDDDDDD | Used by MicroQuill's SmartHeap and Microsoft's C/C++ debug free function to mark freed heap memory |
DEAD10CC | "Dead lock", Indicates that an Apple iOS application has been terminated because it held on to a system resource while running in the background |
DEADBABE | "Dead babe", Used at the start of Silicon Graphics' IRIX arena files |
DEADBEEF | "Dead beef", Famously used on IBM systems such as the RS/6000, also used in the classic Mac OS operating systems, OPENSTEP Enterprise, and the Commodore Amiga. On Sun Microsystems' Solaris, marks freed kernel memory |
DEADCAFE | "Dead cafe", Used by Microsoft.NET as an error number in DLLs |
DEADC0DE | "Dead code", Used as a marker in OpenWRT firmware to signify the beginning of the to-be created jffs2 file system at the end of the static firmware |
DEADFA11 | "Dead fail", Indicates that an Apple iOS application has been force quit by the user |
DEADF00D | "Dead food", Used by Mungwall on the Commodore Amiga to mark allocated but uninitialized memory |
DEFEC8ED | "Defecated", Used for OpenSolaris core dumps |
DEADDEAD | "Dead Dead" indicates that the user deliberately initiated a crash dump from either the kernel debugger or the keyboard. |
EBEBEBEB | From MicroQuill's SmartHeap |
FADEDEAD | "Fade dead", Comes at the end to identify every AppleScript script |
FDFDFDFD | Used by Microsoft's C/C++ debug malloc function to mark "no man's land" guard bytes before and after allocated heap memory, and some debug Secure C-Runtime functions implemented by Microsoft |
FEE1DEAD | "Feel dead", Used by Linux reboot syscall |
FEEDFACE | "Feed face", Seen in PowerPC Mach-O binaries on Apple Inc.'s macOS platform. On Sun Microsystems' Solaris, marks the red zone Used by VLC player and some IP cameras in RTP/RTCP protocol, VLC player sends four bytes in the order of the endianness of the system. Some IP cameras expect the player to send this magic number and do not start the stream if it is not received. |
FEEEFEEE | "Fee fee", Used by Microsoft's debug HeapFree to mark freed heap memory. Some nearby internal bookkeeping values may have the high word set to FEEE as well. |
Most of these are each 32 bits long — the word size of most 32-bit architecture computers.
The prevalence of these values in Microsoft technology is no coincidence; they are discussed in detail in Steve Maguire's book Writing Solid Code from Microsoft Press. He gives a variety of criteria for these values, such as:
- They should not be useful; that is, most algorithms that operate on them should be expected to do something unusual. Numbers like zero don't fit this criterion.
- They should be easily recognized by the programmer as invalid values in the debugger.
- On machines that don't have byte alignment, they should be odd numbers, so that dereferencing them as addresses causes an exception.
- They should cause an exception, or perhaps even a debugger break, if executed as code.