automatelib
core
