specbot: add MOP symbols