Mark top_env as 'static inline' instead of 'inline'