Support multi s-expression input
Implement load
Reform test cases