Work in 32-bit x86 assembly using NASM assembler on Linux