RPython and OCL