as-set_npp

by SPARK