INTERFACE SeqM3AST_AS_F_Interface_id = SeqElem (M3AST_AS_F_Interface_id) END SeqM3AST_AS_F_Interface_id.