Int a b c (5/48)

Int a b c