1 virt_ps.cmo: ../lib/virt_mem_utils.cmo ../lib/virt_mem_types.cmi \
2 ../lib/virt_mem_gettext.cmo ../lib/virt_mem.cmi \
3 ../lib/kernel_task_struct.cmi
4 virt_ps.cmx: ../lib/virt_mem_utils.cmx ../lib/virt_mem_types.cmx \
5 ../lib/virt_mem_gettext.cmx ../lib/virt_mem.cmx \
6 ../lib/kernel_task_struct.cmx