program spacification