Updated val_int snippet