alloc.c: have SP around arithmetic operators