swi_init("-nosignals");