Procedure calls do not seem to check if the arguments are 'peeked'. This behavior should be changed immediately as this can cause so much confusion.