module EndCell(int ?x_in,!y_out) {
    loop {
        next(y_out) = x_in;
        pause;
    }
}