Update 'max-locals' as needed by #364.