is bastok pronounced Bas-took or bas-tock or bas-tuck?