#include <sys/divm.h>
#include <divine/__env.h>

extern "C" const _VM_Env __sys_env[];
const _VM_Env *__sys_env_get() { return __sys_env; }