Library for encoding variables as PHP code