in procudure syntax, write Unit return type explictly