gener keyword guard oper param op oper keyword oper guard gener concurr object op model facad concurr op model concurr kind guard equal model facad concurr op 