require_a require_b ensure_a ensure_b Execution completed