sinfo.ads, sinfo.adb (Alloc_For_BIP_Return): New flag to indicate that an allocator...