int hai();

// test