Use Strings for record type instead of int[]