'use sms__decomp' when translating array bounds