function a(): true {
    return true;
}