( halt 8 — 3 / ( lo .)