Binary serialization for PHP
