Implement precise stack marking for ARM.