Fix #99: Salloc initialization is not checked on startup