An experimental implementation of lens library