added sb-int:truly-dynamic-extent to *known-declaration-types*