malloc(3) does not need to be protected by mutex