devalloc.c revision 7e3e5701c73b753fb9dd17a0cbe0568b4cdda39e