Added wrapper for possibly-aligned malloc. evaluators must use it also.