demonstrate simple function to subroutine canonicalization
