 CONST
    rmc$max_allocation_size = 0ffffff(16);
