(sc-bad-sp) begin sc-bad-sp: exit(-1)