module static;

op minus(int, int) -> int;

module general_kenobi {
/// Returns a string where "hello there" is repeated `n` times.
fn hello_there(n: int) -> String;
}

let hello_there;