Fix a memory mapping bug in sbull.c