FORM_(symbolic_manipulation_system) loading ...