package Tools.Pointers is
type Pointer is new Tool with private;
function Create_Pointer return A_Tool;