#!/bin/bash
curl --data-urlencode input@- http://demangler.com/raw