branches/fault: added casros API wrappers for user's convenience