PHP extension for buffer based typed arrays