https://store.ptsource.eu/soft/ptminivm/tutorial