How to use labels in inline assembly