OP_RETURN_VOID_BARRIER.S revision a8b91c52fd8a90b784835dfe1f8898035266c4dd 
1%verify "executed"
2    SMP_DMB
3    b         common_returnFromMethod
4