Added additional env.t declarations for pm modal