Title: An annotated pocket code of Virginia