How exactly does a Vessel program work?