fix NULL deref for ARM example