Simplified inclusion of KRALMain