Performing casting afterwards