SPI_getargtypeid • man page