some helper functions just especially for Tako