- change vmMain arguments back to int. 64bit types are apparently not needed there. Only the syscall function needs them.