(program (buffer property_buffer [(:= color float4)]) (constant_buffer cbuffer [(:= color float4)]) (fun pixel ps_main [(:= index int)] (return property_buffer[index].color)))