initial a menhir demo:calc