Automatic generation of record lenses for microlens
