redeve32: Changing in public