writ_of_mandate