Stopro.jl: Better level of abstraction.