Implementation notes
Example programs