std lib: fixed record(), find()