spring: get rid of union cast
spring: improve symbol loading