// -*- C++ -*- (c) 2016 Vladimír Štill <xstill@fi.muni.cz>

#include <lart/divine/vaarg.h>