-schedule-vi-checking ported to spawn
Coercions: avoid imperative data structure