Add MagicQueue and requestManager specification