OK to Eat & Run SW

by SPARK