An very simple API for VDM