Added integer input to BefungExec