Use &'static fn:'static and assert that the env pointer is NULL