Andrei Alexandrescu: > Because @disable applies to any function. What's the purpose of disabling any random function? (Is such extra generality worth its cognitive cost?) Bye, bearophile