100644 blob 07abaa7877b5ad42cd584bec9575ab826620ecbe	dr2367.cc
100644 blob 2d629d1b28283bd84e6b760b8300efa72e8f65ff	dr801.cc
040000 tree ca92195867d33279eb2865c205f32fb3f4ca21e7	explicit_instantiation
100644 blob 75ae4f6e3ccb19df1927e78dbb285492aeac6d87	structural.cc