# Register allocation