Nowadays, @SYM_LEN@ doesn't include the terminating null, so revise the