The node you are looking for is at
ffi:c-progn
.