Create proc.sql