ec_manual

by SPARK