theme: simplex+*machine input
theme: simplex