VREP library