[Declaration] Direction annotation (in progress)