specdoc common eval binding