axiom/src/input
