bcm2835 $ RPiPin :: p1_23

	new p1_23 `{ return RPI_GPIO_P1_23; `}