Is the code within verified, or just something you added to see what's there in memory? The function doesn't seem to have any side effects, it always returns 0 and doesn't modify any memory as far as I can tell.