. "astipulatus" . .