application for writ of mandamus