Simple Sokoban in x86_64 assembly