Int a b c (31/48)

Int a b c