Updating: adding lmacrodef.sats to support local macro definition.