bounds checking: add support for byval arguments