0ms+0: :elab3(test):x
0ms+0: :elab3:x
1ns+0: :elab3(test):b:y
1ns+0: :elab3:b:y
2ns+0: :elab3(test):s@sub(test):p
2ns+0: :elab3:s:p
