Int a b c (7/48)

Int a b c