vector.pas: added Int vector and Pointer vector definition