#include "as_prop_flags.h"
#include <iostream>
#include <sstream>
#include <cassert>
#include <string>
#include "check.h"