writ of mandate (mandamus)