Update 4x13.c for the new cards interface.