@FRAMEWORK-IMPL-SPEC@