Adapt mcons to main in pycket-lang
Fake parameter