added inline for function in Env.h