Forks of VDM_TD part 2