Implement 'getProp' in terms of the new FFI.