aspice_eval
