Post #4105983

Memory allocation isn't required to have rich large values that are passed through control flow. Memory allocation is required for a stack and call/return semantics.