import 0x0.LibraAccount;

main() {
    let addr: address;
    let account_exists: bool;
    let account_balance: u64;

    addr = 0x0111111111111111111111111111111111111111111111111111111111111110;
    account_exists = LibraAccount.exists(copy(addr));
    account_balance = LibraAccount.balance(move(addr));
    return;
}

// check: Execution(MissingData)