tsan: instruct malloc() to consume less memory