sync with tadpolecc