import model_intf as .ml file