Compiled with mux