naughty bug found: misallocation size