doc/vmips.info