#![no_std]

#[macro_use]
extern crate klee;

extern crate testfunction;

use core::ptr;
use testfunction::m1::*;
use testfunction::m2::*;

fn main() {
    let u = ksymbol!("u");

    unsafe {
        ptr::read_volatile(&f2(f1(u)));
    }
}

// add 1 wrapping
//mod m1;
//mod m2;

//use m1::*;
//use m2::*;