compat_types.py slightly modified.