[Dillo-dev] [patch] VOIDP2INT, INT2VOIDP and pointer size