mps -G
mps -kur $1 && mps -derle $1