Issue #125: Simple test showing cocotb.function and unmodified HAL