INT32_MAX not defined
dot was dropped in favor of debug