Text this: Region and effect inference for safe parallelism.