» ffi » kr ctr ctr S ctr k : r ctr t : r t ; r ctrctr