The manual of the programmer