Does a HotSpot intrinsic need to check the validity of all its args, particularly array lengths? I'm thinking of an intrinsic only called by trusted code. It is important because this is the inner loop of a crypto operation, and is highly speed-critical. Thanks, Andrew.