alloc (pvb -w vb, ptr -w pointer, T_* data_type, int length)                   /* Probably independent */
where (vb, pointer :: *)
{
  ...
}

hp_alloc_record (pptr -w pointer, ptr heap, int size, VM_* flags = .)          /* Probably independent */
          where (pointer :: *)      
{
  ...
}
