program which automates casting to void