Edit: local_lim.h