Initial state tests for rax:code in plain params.