<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Just a quick question: is greedy still a local allocator (i.e. only
takes into consideration the current bb) or a global one (takes into
consideration the whole function)?
</body>
</html>